Abstract processes and conflicts in place/transition systems

For one-safe Petri nets or condition/event-systems, a process as defined by Carl Adam provides notion of run system where causal dependencies are reflected in terms partial order. Goltz and Reisig have generalised this concept for places carry multiple tokens, distinguishing tokens according to their history. However, so-called individual token interpretation is often considered too detailed. Here we identify subclass nets, called structural conflict no interplay between concurrency due multiplicity occurs. subclass, define abstract processes equivalence classes Goltz-Reisig processes. We justify approach showing that there largest if only the underlying net conflict-free with respect canonical conflict.